Woolly Yarrow on the Dry Prairie

Yarrow-160: Notes On The . . .

Yarrow-160: Notes on the Design and Analysis of the Yarrow Cryptographic Pseudorandom Number Generator

We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the design principles used to develop Yarrow. We then discuss the ways that PRNGs can fail in practice, which motivates our discussion of the components of Yarrow and how they make Yarrow secure. Next, we define a specif...

The proof-assistant Yarrow

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a flexible environment for experimentation with various typed lambda calculi. It offers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concent...

Restoration of Dry Prairie Using Fire and Roller Chopping

Florida’s dry prairies are rare and threatened due to suppression of natural fire regimes in these fire-dependent ecosystems. Ecological restoration of dry prairies reduces the growth of shrubs resulting from lack of fire, while encouraging the growth of grasses and forbs. In addition to prescribed burning, these efforts often use mechanical disturbance such as roller-chopping. In this study we...

Fifty-five year changes in species composition on dry prairie remnants in south-central Wisconsin

KRASZEWSKI, S. E. (Land Resources Program, University of Wisconsin-Madison, Madison, WI 53706) AND D. M. WALLER. (Department of Botany, University of Wisconsin-Madison, Madison, WI 53706). Fiftyfive year changes in species composition on dry prairie remnants in south-central Wisconsin. J. Torrey Bot. Soc. 135: 236–244. 2008.—Ten dry prairie remnants in south-central Wisconsin first sampled in 1...